ک ت اب درس ی ن ظ ری ه گ راف ب الاک ری ش ن ان و ران گ ان ات ه ان (ح ل ت ع دادي از ت م ری ن ه اي ف ص ل ه اي 4 و 5) دک ت ر ب ی ژن ط اي ري

Σχετικά έγγραφα
محاسبه ی برآیند بردارها به روش تحلیلی

تمرینات درس ریاض عموم ٢. r(t) = (a cos t, b sin t), ٠ t ٢π. cos ٢ t sin tdt = ka۴. x = ١ ka ۴. m ٣ = ٢a. κds باشد. حاصل x٢

تصاویر استریوگرافی.

ر ک ش ل ن س ح ن د م ح م ب ن ی ز ن. ل و ئ س م ه د ن س ی و ن ( ی ر ک ش ل &

معادلهی مشخصه(کمکی) آن است. در اینجا سه وضعیت متفاوت برای ریشههای معادله مشخصه رخ میدهد:

روش محاسبه ی توان منابع جریان و منابع ولتاژ

جلسه 3 ابتدا نکته اي در مورد عمل توابع بر روي ماتریس ها گفته می شود و در ادامه ي این جلسه اصول مکانیک کوانتمی بیان. d 1. i=0. i=0. λ 2 i v i v i.

مثال( مساله الپالس در ناحیه داده شده را حل کنید. u(x,0)=f(x) f(x) حل: به کمک جداسازی متغیرها: ثابت = k. u(x,y)=x(x)y(y) X"Y=-XY" X" X" kx = 0

ی ن ل ض ا ف ب ی ر غ ن ق و ش ه ی ض ر م ی ) ل و ئ س م ه د ن س ی و ن ( ا ی ن ل ض ا ف ب ی ر غ 1-

ج ن: روحا خل ل ب وج یم ع س ن

يﺎﻫ ﻢﺘﻳرﻮﮕﻟا و ﺎﻫ ﺖﺧرد فاﺮﮔ ﻲﻤﺘﻳرﻮﮕﻟا ﻪﻳﺮﻈﻧ :سرد ﻲﺘﺸﻬﺑ ﺪﻴﻬﺷ هﺎﮕﺸﻧاد ﺮﺗﻮﻴﭙﻣﺎﻛ مﻮﻠﻋ هوﺮﮔ ﻪﻴﻟوا ﺞﻳﺎﺘﻧ و ﺎﻫﻒ ﻳﺮﻌﺗ

Delaunay Triangulations محیا بهلولی پاییز 93

1) { } 6) {, } {{, }} 2) {{ }} 7 ) { } 3) { } { } 8) { } 4) {{, }} 9) { } { }

جلسه ی ۱۰: الگوریتم مرتب سازی سریع

دانشکده ی علوم ریاضی جلسه ی ۵: چند مثال

قاعده زنجیره ای برای مشتقات جزي ی (حالت اول) :

آزمایش 8: تقویت کننده عملیاتی 2

سايت ويژه رياضيات درسنامه ها و جزوه هاي دروس رياضيات

1 دایره فصل او ل کاربردهای بسیاری داشته است. یک قضیۀ بنیادی در هندسه موسوم با محیط ثابت دایره دارای بیشترین مساحت است. این موضوع در طراحی

ی ا ک ل ا ه م ی ل ح ر

جلسه 2 1 فضاي برداري محاسبات کوانتمی (22671) ترم بهار

تحلیل مدار به روش جریان حلقه

دبیرستان غیر دولتی موحد

جلسه دوم سوم چهارم: مقدمه اي بر نظریه میدان

مدار معادل تونن و نورتن

شاخصهای پراکندگی دامنهی تغییرات:

آزمایش 1: پاسخ فرکانسی تقویتکننده امیتر مشترك

جلسه ی ۳: نزدیک ترین زوج نقاط

تمرین اول درس کامپایلر

بسم اهلل الرحمن الرحیم آزمایشگاه فیزیک )2( shimiomd

جلسه 9 1 مدل جعبه-سیاه یا جستاري. 2 الگوریتم جستجوي Grover 1.2 مسا له 2.2 مقدمات محاسبات کوانتمی (22671) ترم بهار

مفاهیم ولتاژ افت ولتاژ و اختالف پتانسیل

هندسه تحلیلی بردارها در فضای R

باشند و c عددی ثابت باشد آنگاه تابع های زیر نیز در a پیوسته اند. به شرطی که g(a) 0 f g

هو الحق دانشکده ي مهندسی کامپیوتر جلسه هفتم

هندسه در فضا 1. خط و صفحه در فضا ب. وضعیت نسبی دو صفحه در فضا پ. وضعیت نسبی دو خط در فضا ت. وضعیت نسبی خط و صفحه در فضا الف.

جلسه 15 1 اثر و اثر جزي ی نظریه ي اطلاعات کوانتومی 1 ترم پاي یز جدایی پذیر باشد یعنی:

تحلیل الگوریتم پیدا کردن ماکزیمم

جلسه 12 به صورت دنباله اي از,0 1 نمایش داده شده اند در حین محاسبه ممکن است با خطا مواجه شده و یکی از بیت هاي آن. p 1

جلسه 2 جهت تعریف یک فضاي برداري نیازمند یک میدان 2 هستیم. یک میدان مجموعه اي از اعداد یا اسکالر ها به همراه اعمال

و ر ک ش ر د را ن ندز ما ن تا ا س ی یا را

ا و ن ع ه ب ن آ ز ا ه ک ت س ا ی ی ا ه ی ن و گ ر گ د ه ب ط و ب ر م ر ص ا ح م ی م ل ع ث ح ا ب م ی ا ه ه ی ا م ن و ر د ز ا ی ک ی ی

جلسه ی ۵: حل روابط بازگشتی

جلسه ی ۲۴: ماشین تورینگ

جلسه 28. فرض کنید که m نسخه مستقل یک حالت محض دلخواه

به نام حضرت دوست. Downloaded from: درسنامه

جلسه ی ۴: تحلیل مجانبی الگوریتم ها

جلسه 22 1 نامساویهایی در مورد اثر ماتریس ها تي وري اطلاعات کوانتومی ترم پاییز

فصل اول ماتریس و کاربردها

SanatiSharif.ir مقطع مخروطی: دایره: از دوران خط متقاطع d با L حول آن یک مخروط نامحدود بدست میآید که سطح مقطع آن با یک

فعالیت = ) ( )10 6 ( 8 = )-4( 3 * )-5( 3 = ) ( ) ( )-36( = m n m+ m n. m m m. m n mn

جلسه 16 نظریه اطلاعات کوانتمی 1 ترم پاییز

:موس لصف یسدنه یاه لکش رد یلوط طباور

مینامند یا میگویند α یک صفر تابع

:لاثم 1 - در هر مثلث نیمسازها همرسند پس مثلث همواره محیطی است و مرکز دایرهی قضیه قضیه 3- هر چندضلعی منتظم محیطی است. است.

جلسه 14 را نیز تعریف کرد. عملگري که به دنبال آن هستیم باید ماتریس چگالی مربوط به یک توزیع را به ماتریس چگالی مربوط به توزیع حاشیه اي آن ببرد.

تبدیل سوم: فصل تجانس انواع تجانس

تخمین با معیار مربع خطا: حالت صفر: X: مکان هواپیما بدون مشاهده X را تخمین بزنیم. بهترین تخمین مقداری است که متوسط مربع خطا مینیمم باشد:

نظریه زبان ها و ماشین ها

CD = AB, BC = ٢DA, BCD = ٣٠ الاضلاع است.

فصل پنجم زبان های فارغ از متن

تئوری جامع ماشین بخش سوم جهت سادگی بحث یک ماشین سنکرون دو قطبی از نوع قطب برجسته مطالعه میشود.

جلسه ی ۱۸: درهم سازی سرتاسری - درخت جست و جوی دودویی

ویرایشسال 95 شیمیمعدنی تقارن رضافالحتی

آزمون مقایسه میانگین های دو جامعه )نمونه های بزرگ(

همبستگی و رگرسیون در این مبحث هدف بررسی وجود یک رابطه بین دو یا چند متغیر می باشد لذا هدف اصلی این است که آیا بین

تلفات خط انتقال ابررسی یک شبکة قدرت با 2 به شبکة شکل زیر توجه کنید. ژنراتور فرضیات شبکه: میباشد. تلفات خط انتقال با مربع توان انتقالی متناسب

مود لصف یسدنه یاه لیدبت

بخش اول: زاویه و مثلث... 7 بخش دوم: چندضلعی بخش دوم: مساحت مثلث بخش سوم: مساحت چهارضلعیها بخش اول: نسبت و تناسب تالس...

سلسله مزاتب سبان مقدمه فصل : زبان های فارغ از متن زبان های منظم

د ا ر م د و م ح م ر ی ا ر ی ح ب د ی م ح ن ن ا م ر ه ق ا ر ا س د

ا ت س ا ر د ر ا ب غ و د ر گ ه د ی د پ ع و ق و د ن و ر ی ی ا ض ف ل ی ل ح ت ی ه ا ب ل و ت ب ن

Angle Resolved Photoemission Spectroscopy (ARPES)

فصل 5 :اصل گسترش و اعداد فازی

ی ن ا م ز ا س ی ر ت ر ا ت ی و ه ر ی ظ ن ( ن ا ر ظ ن ب ح ا ص و

برابری کار نیروی برآیند و تغییرات انرژی جنبشی( را بدست آورید. ماتریس ممان اینرسی s I A


Website:

ش ز و م آ ت ی ر ی د م د ش ر ا س ا ن ش ر ا ک. 4

دانشکده علوم ریاضی دانشگاه گیلان آزمون پایان ترم درس: هندسه منیفلد 1 باشد. دهید.f (gx) = (gof 1 )f X شده باشند سوالات بخش میان ترم

Website:

تبدیل ها هندسه سوم دبیرستان ( D با یک و تنها یک عضو از مجموعه Rست که در آن هر عضو مجموعه نگاشت از Dبه R تناظری بین مجموعه های D و Rمتناظر باشد.


تجزیهی بندرز مقدمه کشور هستند. بدین سبب این محدودیتهای مشترک را محدودیتهای پیچیده

هندسه تحلیلی و جبر خطی ( خط و صفحه )

ا د ی بن ت و ی ولا ی ذ ار گ د ف ه ما ن ت

به نام خدا. الف( توضیح دهید چرا از این تکنیک استفاده میشود چرا تحلیل را روی کل سیگنال x[n] انجام نمیدهیم

ر گ ش د ر گ ت ع ن ص ة ع س و ت ر ب ن آ ش ق ن و ی ی ا ت س و ر ش ز ر ا ا ب ت ف ا ب ی ز ا س ه ب )

An Investigation into Personal and Organizational Factors Affecting the Creativity of the National Iranian Gas Company Employees

سینماتیک مستقیم و وارون

مسي لهای در م انی : نردبان که کنار دیوار لیز م خورد

فصل چهارم : مولتی ویبراتورهای ترانزیستوری مقدمه: فیدبک مثبت

پژ م ی عل ام ه ص لن ف

. ) Hankins,K:Power,2009(

ﯽﺳﻮﻃ ﺮﯿﺼﻧ ﻪﺟاﻮﺧ ﯽﺘﻌﻨﺻ هﺎﮕﺸﻧاد

جلسه ی ۱۱: درخت دودویی هرم

ن ا ر ا ن چ 1 ا ی ر و ا د ی ل ع د م ح م ر ی ا ف و ی د ه م ی

ک ک ش و ک ن ا ی ن ا م ح ر ی د ه م ن

بیشینهسازی تاثیر در شبکههای اجتماعی با توجه به ویژگیهای انجمنی نوید صالحنمدی دکتر مسعود اسدپور تابستان ۴۹۳۱

هد ف های هفته ششم: 1- اجسام متحرک و ساکن را از هم تشخیص دهد. 2- اندازه مسافت و جا به جایی اجسام متحرک را محاسبه و آن ها را مقایسه کند 3- تندی متوسط

Transcript:

ک ت اب درس ی ن ظ ری ه گ راف ب الاک ری ش ن ان و ران گ ان ات ه ان (ح ل ت ع دادي از ت م ری ن ه اي ف ص ل ه اي 4 و 5) دک ت ر ب ی ژن ط اي ري دان ش ک ده ي ع ل وم ری اض ی دان ش گ اه ص ن ع ت ی اص ف ه ان Copyright By: Bijan Taeri خ وان ن دگ ان گ رام ی در ص ورت ی ک ه ب راي ی ک م س ال ه ح ل دی گ ري داری د ی ا ح ل م س ال ه اي ای راد دارد ی ا ح ل داده ش ده ب راي ی ک م س ال ه م ب ه م اس ت ی ا ب راي م س ال ه اي ک ه ح ل آن ن ی ام ده راه ح ل ی داری د ل ط ف ا ب ا ای ن ج ان ب ت م اس ب گ ی ری د. web: http://taeri.iut.ac.ir e-mail: b.taeri@cc.iut.ac.ir ت اری خ آخ ری ن وی رای ش: پ ان زده ش ه ری ور 1392

تمرین مثالی از یک گراف با n راس و ۱ n یال بزنید که درخت نباشد. v 1 v 2 v 3 v n 2 v n 1 v n شکل زیر را ببینید تمرین نشان دهید که یک گراف ساده با ω مولفه یک جنگل است اگر و تنها اگر.m = n ω ف رض ک ن ی د G ω... G ۲ G ۱ م ول ف هه ای گ راف G ب اش ن د و n(g i ) = n i و.m(G i ) = m i اگر G یک جنگل باشد آنگاه هر G i یک درخت است. بنابراین به ازای m = ω m i = i=۱ هر i = ۱, ۲,..., ω داریم ۱ i.m i = n پس ω ω ω (n i ۱) = n i ۱ = n ω. i=۱ برعکس فرض کنید m. = n ω نشان میدهیم که هر G i یک درخت است. فرض H = ω یک جنگل کنید T i یک درخت فراگیر برای G i باشد. در این صورت ۱=i T i m(h) = ω m(t i ) = i=۱ i=۱ i=۱ فراگیر برای G است چون ω (n(t i ) ۱) = n(h) ω = n ω = m(g) i=۱ ١

٢ پس.G = H تمرین یک راس v از درخت T با حداقل سه راس یک راس برشی است اگر و تنها اگر v راس آویخته نباشد. عکس نقیض گزاره (که معادل آن است) و عبارت است از «یک راس v از درخت T با حداقل سه راس یک راس برشی نیست اگر و تنها اگر v راس آویخته باشد» را ثابت میکنیم. اگر یک راس v راس آویخته از یک گراف همبند باشد آنگاه واضح است که v راس برشی نیست. پس یک قسمت از گزاره برای هر گراف همبند درست است. اکنون فرض کنید v یک راس غیر برشی از درخت T باشد. پس T v همبند است. اگر v راس آویخته نیاشد آنگاه دو راس مانند x و y مجاور با v وجود دارند. چون T دخت است پس بین x و y در T یک مسیر یکتا وجود دارد و این مسیر شامل v است. پس بین x و y در T v مسیری وجود ندارد. یعنی T v ناهمبند است. تمرین نشان دهید هر درخت گراف دوبخشی است. یک درخت دور ندارد بنابراین دور فرد نیز ندارد و در نتیجه طبق قضیهی ١٠.۴.١ دوبخشی است. تمرین اگر برای یک گراف سادهی G داشته باشیم n(g) m(g) ثابت کنید که G شامل یک دور است. اگر برخلاف حکم G دارای دور نباشد آنگاه G یک جنگل است. فرض کنید ω تعداد مولفههای G باشد. در این صورت طبق تمرین ١.٢ از صفحهی ٨۴ داریم m = n ω < n که تناقض است. تمرین ثابت کنید که هر یال گراف همبند G که شامل طوقه نباشد در یک درخت فراگیر G قرار دارد. فرض کنید T یک درخت فراگیر دلخواه از G باشد. اگر T شامل یال e نباشد آنگاه طبق لم ١.٩.۴ گراف T + e یک دور یکتا دارد. با حذف یکی از یالهای این دور

٣ به غیر از e یک درخت فراگیر شامل e به دست میآید. تمرین نشان دهید گزارههای زیر معادل هستند: (١) G همبند است و تکدوری (یعنی G شامل دقیقا یک دور است)..m = n همبند است و G (٢) (٣) به ازای یک یال e از G گراف G e درخت است. (۴) G همبند است و مجموعهی یالهای G که یال برشی نیستند یک دور تشکیل میدهند. (۱) = (۲) ف رض ک ن ی د G گ راف ه م ب ن د ب ا دور ی ک ت ای C ب اش د. ف رض ک ن ی د e ی ک ی ال دل خ واه از C ب اش د. در ای ن ص ورت G e ی ک گ راف ه م ب ن د و ب دون دور اس ت. در ن ت ی ج ه G e ی ک درخ ت اس ت و ط ب ق ق ض ی هی ۴.١.۴ داری م n(g e) = n(g) و m(g e) = m(g) چون ۱.m(G e) = n(g e) ۱ به دست میآوریم ۱ n(g) m(g) ۱ = یعنی n(g).m(g) = (۲) = (۳) فرض کنید G گراف همبند باشد و n(g).m(g) = در این صورت ق ض ی هی ۴.١.۴ گ راف G درخ ت ن ی س ت. از ای نرو ش ام ل ی ک دور C اس ت. ی ال دل خ واه e از C را ان ت خ اب م یک ن ی م. در ای ن ص ورت چ ون G e ه م ب ن د اس ت و ۱ e) m(g e) = n(g پس قضیهی ۴.١.۴ گراف G e درخت است. (۳) = (۴) فرض کنید به ازای یک یال e گراف G e یک درخت باشد. پس G یک گراف همبند است که درخت نیست. از اینرو G شامل یک دور است. این دور یکتا است و هر یال غیربرشی را دارد. (۴) = (۱) فرض کنید G همبند باشد و مجموعهی یالهای G که یال برشی نیستند یک دور C تشکیل دهند. در این صورت C یک دور یکتا است. زیرا اگر G شامل دور دیگری مثل C ۱ باشد آنگاه چون در واقع چون هر یال از یک دور یال برشی نیست پس طبق فرض هر یال از C ۱ باید یک یال از C باشد یعنی C. = C ۱ تمرین درختی با ۸۵ راس بسازید که دارای = ۵ باشد و مرکز آن شامل فقط یک راس باشد.

۴ با توجه به اثبات قضیهی ژردان واضح است که مرکز مسیر P n شامل یک راس است اگر و تنها اگر n فرد باشد. یک مسیر P : x ۱ x ۲ x ۷۹ x ۸۰ x ۸۱ با ۸۱ راس را در نظر میگیریم و به راس x ۷۹ پنج یال آویخته متصل میکنیم. درخت حاصل دارای مرکز یک راسی است. در واقع مطابق اثبات قضیهی ژردان پس از حذف یالها آویخته از این درخت مسیر P ۱ : x ۲ x ۳ x ۸۰ به دست میآید که مرکز آن (که با مرکز این درخت یکی است) یک راسی است. تمرین نشان دهید که یک خودریختی یک درخت روی تعداد فرد (۳ n) راس یک راس را ثابت نگه میدارد یعنی به ازای هر خودریختی f از یک درخت T با + ۱ ۲k (k ۱) n = راس یک راس v از T با f(v) = v وجود دارد. (راهنمایی: از این حقیقت که f راسهای پایانی T را جابجا میکند استفاده کند.) قرار میدهیم T. ۰ = T راسهای آویخته از T ۰ را حذف میکنیم و درخت T ۱ را به دست میآوریم راسهای آویخته از T ۱ را حذف میکنیم و درخت T ۲ را به دست میآوریم و این روند را ادامه میدهیم. در نهایت در یک مرحلهی r یا یک راس یا یک دو راس با یک یال e بین آنها به دست میآید راسهای مرکزی T). چون هر خودریختی راسهای آویخته را به راسهای آویخته نظیر میکند پس f هر T i را به T i نظیر میکند. اگر مرکز T مشتمل بر یک راس باشد حکم ثابت است. پس فرض کنید مرکز T شامل ۲ راس باشد. اگر f هردوی آنها ثابت نگه دارد باز هم حکم ثابت است پس فرض کنید f دو راس مرکزی را جابجا کند پس e را ثابت نگه میدارد. نشان میدهیم این وضعیت ممکن نیست. گراف T e دارای دو مولفه است. f این دو مولفه را جابجا میکند. اما این ممکن نیست زیرا T = T ۰ دارای تعداد فردی راس است و بنابراین تعداد راسها در دو مولفه از نظر توازن متفاوت هستند (یکی زوج و یکی فرد). نشان دهید که یک خودریختی از یک درخت یا یک راس یا یک یال را ثابت نگه میدارد. اب ت دا ت وج ه م یک ن ی م ک ه ت ح ت ی ک خ ودری خ ت ی ف اص ل ه ح ف ظ م یش ود. در واقع فرض کنید f یک خودریختی از گراف G باشد. فرض کنید (G),x y V و

۵ P : x = x ۰ x ۱ x k = y یک x y مسیر در G باشد. در این صورت f(y) f(p ) : f(x) = f(x ۰ ) f(x ۱ ) f(x k ) = یک f(y) f(x) مسیر در G است. علاوه بر آن طول P و ) f(p یکسان هستند. پس طول کوتاهترین x y مسیر و کوتاهترین f(x) f(y) مسیر یکسان هستند یعنی f(y)).d(x, (y = d(f(x), به ویژه یک خودریختی مجموعهی راسهای مرکزی را به مجموعهی راسهای مرکزی تصویر میکند. اکنون فرض کنید G یک درخت باشد. طبق قضیه ژردان مرکز G یا شامل یک راس مانند x یا شامل دو راس مجاور مانند y x است. در حالت اول f راس x را ثابت نگه میدارد و در حالت دوم f یال xy را ثابت نگه میدارد. تمرین مثالی بزنید (١) از یک درخت که دقیقا یک راس مرکزی که راس مرکز ثقلی نیز باشد (٢) از یک درخت با دو راس مرکزی که یکی از آنها راس مرکز ثقلی نیز باشد (٣) از یک درخت با دو راس مرکز ثقل که یکی از آنها راس مرکزی نیز باشد (۴) از یک درخت با دو راس مرکزی که هیچکدام آنها راس مرکز ثقلی نباشند (۵) از یک درخت با مرکز و مرکز ثقل مجزا. در شکل زیر کوچکترین درختها با یک یا دو راس مرکزی و یک یا دو مرکز تقل نشان داده شدهاند

۶ تمرین نشان دهید که هر درخت مرتبهی n به ازای هر m n شامل یک زیردرخت از مرتبهی m است. e راسی باشد. در این صورت یک یال آویخته مانند n یک درخت T فرض کنید که در T وجود دارد. از اینرو T ۱ = T e یک زیردرخت ۱ n راسی از T است. اکنون میتوان حکم را ادامهی این فرایند ثابت کرد. تمرین فرض کنید که w v u سه راس یک درخت T باشند. نشان دهید که یا w v u هر سه در یک مسیر از T قرار دارند یا در غیر این صورت راس z از T وجود دارد که در w v v u u v مسیرهای T مشترک است. فرض کنید P یکتا مسیری باشد که u را به v وصل میکند. اگر w در این مسیر باشد آنگاه حکم ثابت است. پس فرض میکنیم w در P نباشد. اکنون فرض کنید Q ۱ و Q ۲ یکتا مسیرهایی باشند که w را به ترتیب به u و v وصل میکنند. ادعا میکنیم Q ۱ و P یک راس مشترک غیر از u دارند. فرض کنید ادعا درست نباشد و u تنها راس مشترک P و Q ۱ باشد. فرض کنید x اولین راس مشترک (P P را از u به v طی میکنیم) و Q ۲ باشد (این راس ممکن است v باشد). در این صورت u x بخش P به همراه x w بخش Q ۲ و Q ۱ یک دور در T تشکیل میدهند که تناقض است. بنابراین Q ۱ و P یک راس مشترک مانند z ۱ غیر از u دارند. به همین صورت Q ۲ و P یک راس مشترک مانند z ۲ غیر از v دارند. اگر z ۱ z ۲ آنگاه z ۱ z ۲ x بخش P به همراه z ۲ w بخش Q ۲ و w z ۱ بخش Q ۱ یک دور در T تشکیل میدهند که تناقض است. پس.z ۱ = z ۲ تمرین نشان دهید که در یک درخت تعداد راسهای حداقل از درجهی ۳ حداکثر برابر تعداد راسهای پایانی منهای ۲ است.

٧ T اگ ر ۲ ح ک م واض ح اس ت. پ س ف رض ک ن ی د ۳. ف رض ک ن ی د ی ک درخ ت ن اب دی ه ی n راس ی و n i ت ع داد راسه ای درج هی i ب اش د. ق رار م یده ی م ۳} d(x) U = {x V (T ) یعنی U مجموعهی همهی راسها با درجه حداقل ۳ است. بنابر این U.n ۳ + n ۴ + + n = باید نشان دهیم ۲ ۱. U n داریم n n = n ۱ + + و در نتیجه طبق فرمول d(v) ۲m = v V (T ) و اینکه ۱ n m = (چون T یک درخت است) داریم ۲(n ۱) = n ۱ + ۲n ۲ + + n = n ۱ + ۲(n ۱ + n ۲ + + n ) + (n ۳ + + ( ۲)n ) = n ۱ + ۲n + (n ۳ + + ( ۲)n ). n ۱ ۲ = n ۳ + + ( ۲)n n ۳ + n ۴ + + n = U از اینرو و حکم ثابت است. فرض کنید T یک درخت نابدیهی n راسی باشد. فرض کنید n i تعداد راسهای درجهی i باشد. در این صورت (الف) ۱ n و اگر = ۲ ۱ n آنگاه T یک مسیر است. (ب) اگر ۳ آنگاه به ازای هر ۳ i داریم + ۲ i.n ۱ n.n ۱ = ۲ + x U (ج) اگر ۳} d(x) U = {x V (T ) آنگاه ۲) (d(x) (الف) فرض کنید x یک راس با درجهی k با راسهای مجاور v k... v ۱ باشد. فرض کنید P i طولانیترین مسیر با یال آغازی xv i باشد. راس x در همهی Pها i مشترک است. چون T دارای دور نیست پس P i و i j P j راس مشترک دیگری ندارند و بنابراین راس پایانی P i باید یک راس آویخته باشد. از اینرو d(x) n ۱ به ازای هر ) (T.x V راه دیگر: فرض کنید ) n (d ۱, d ۲,..., d دنباله ی درجهی T باشد به طوریکه ۱ n.d ۱ d ۲ d فرض کنید r تعداد راسهای آویخته باشد. در این صورت برای i = n r + ۱, n r + ۲,..., n r + r داریم = ۱ i d و برای

٨ i = ۱,..., n r داریم ۲ i.d بنابراین داریم ۲(n ۱) = d ۱ + d ۲ + + d n r + d n r+۱ + + d n = d ۱ + (d ۲ + + d n r ) + r d ۱ + ۲(n r ۱) + r = d ۱ + ۲(n ۱) r. درر نتیجه ۲(n ۱) d ۱ + ۲(n ۱) r و بنابراین به دست میا وریم d ۱ r ۰ یعنی.r d ۱ اکنون به ازای هر راس v با d(v) = k داریم r d ۱ k یعنی حداقل k راس آویخته وجود دارد. سایر قسمتها با روش مساله قبل ثابت میشود. تمرین نشان دهید که اگر G گراف همبند با حداقل سه راس باشد آنگاه G شامل دو راس u و v است به طوری که {v G,u} نیز همبند است. ابتدا فرض کنید G یک درخت باشد. در این صورت G دارای حداقل دو راس آویخته مانند u و v است. در این حالت واضح است که {v G,u} همبند است. اکنون فرض کنید G درخت نباشد. در این صورت G شامل یک دور C به طول حداقل ۳ است. اگر G = C آنگاه چون حذف دو راس مجاور از یک دور به یک گراف همبند منجر میشود حکم ثابت است. اگر G C آنگاه چون G همبند است پس یک یال مجاور با یک راس x از C وجود دارد. واضح است فرض کنید uv یالی از C باشد به طوریکه u x و v. x در این صورت واضح است که {v G,u} همبند است. تمرین اگر H یک گراف با درجهی مینیمم حداقل ۱ k باشد آنگاه ثابت کنید که H شامل هر درخت روی k راس است. (راهنمایی: از استقرا روی k استفاده کنید.) (مرجع [۵٧] را ببینید.) فرض کنید T یک درخت k راسی باشد. نشان میدهیم T زیرگرافی از H است (با یک زیرگراف از H یکریخت است). به استقرا روی k حکم را ثابت میکنیم. اگر = ۱ k آنگاه T = K ۱ و روشن است K ۱ زیرگراف هر گراف دلخواه است. علاوه بر آن

٩ اگر = ۲ k آن گاه T = K ۲ و K ۲ زیرگراف هر گراف با درجهی مینیمم ۱ است. اکنون فرض کنید نتیجه برای برای همه ی درختهای k راسی (۲ k) درست باشد و T را یک درخت با + ۱ k راس در نظر میگیریم. میدانیم T حداقل دو راس آویخته دارد. فرض کنید v یک راس آویخته از T و w راس مجاور آن باشد. گراف T v یک درخت با k راس است. بنابراین طبق فرض استقرا T v یک زیرگراف از H است (با یک زیرگراف از H یکریخت است). میتوانیم تصور کنیم که عملا T v در H باشد (این یعنی w راسی از H نیز باشد). چون H حداقل + ۱ k راس و T v شامل k راس است پس راسهایی از H وجود دارند که بخشی از T v نیستند. علاوه بر آن چون درجهی w در H حداقل k است پس یک راس u از H وجود دارد که در T v نیست و با w مجاور است. زیرگراف T v به همراه u درخت T را به عنوان یک زیرگراف از H تشکیل میدهد (شکل زیر را ببینید). تمرین نشان دهید که یک گراف ساده و همبند حداقل + ۱ n m دور متمایز دارد. ف رض ک ن ی د G ی ک گ راف ه م ب ن د ب ا n راس و m ی ال ب اش د. ب ه اس ت ق را روی m n+۱ k = حکم را ثابت میکنیم. اگر = ۰ k آنگاه ۱ n m = و در نتیجه G یک درخت و بدون دور است. اکنون فرض کنید ۲ k و حکم برای همهی گرافهای همبند k = را یک گراف همبند با m n+۱ G درست باشد و m(h) n(h)+۱ < k با H در نظر میگیریم. چون ۱ n m پس G درخت نیست و در نتیجه شامل یک دور C است. فرض کنید e یک یال از C باشد. در این صورت H = G e یک گراف همبند است و.m(H) n(h) + ۱ = m(g) ۱ n(g) + ۱ = m n < k از اینرو

١٠ طبق فرض استقرا H حداقل شامل m n دور است. این m n دور به همراه C حداقل + ۱ n m دور در G هستند. تمرین ث اب ت ک ن ی د ک ه ب ه ازای ی ک گ راف ه م ب ن د G داری م ۲r(G).r(G) diam (G) (شکل ۴.٣ نشان میدهد که نامساوی ممکن است اکید باشد.) یادآوری میکنیم که r(g) = min max x V y V d(x, y) و diam (G) = max x V max d(x, y). y V بنابراین شعاع مینیمم مجموعهی } V {d(x, (y y و قطر ماکسیمم این مجموعه است پس r(g) diam (G). اک ن ون ف رض ک ن ی د ک ه x راس م رک زی از G ب اش د. ط ب ق ت ع ری ف ش ع اع ب ه ازای ه ر d(u, x) r(g) و d(v, x) r(g), u, v V داریم و در نتیجه طبق نامساوی مثلث داریم d(u, v) d(u, x) + d(v, x) r(g) + r(g) = ۲r(G). چون u و v راسهای دلخواه هستند نتیجه میگیریم که diam (G) ۲r(G). تمرین تنها اگر یک ستاره باشد. ثابت کنید که یک درخت با حداقل سه راس دارای قطر ۲ است اگر و واضح است که ستارهی K n,۱ دارای قطر ۲ است. اکنون فرض کنید T یک درخت با قطر ۲ باشد. راس آویختهی دلخواه u از T را در نظر میگیریم. چون قط T برابر ۲ است پس راس w وجود دارد که = ۲ (w d(u, و در نتیجه یک مسیر uvw در T وجود دارد. اکنون راس دلخواه x را در نظر میگیریم چون قطر G برابر ۲ است پس x نمیتواند

١١ به u یا w متصل باشد زیرا در عیر این صورت مسیری به طول ۳ در T به دست میآید. از طرف دیگر x باید به v متصل باشد زیرا در عیر این صورت مجددا مسیری به طول ۳ در T به دست میآید. بنابراین T یک ستاره با راس مرکزی v است. فرض کنید T یک درخت با حداقل دو راس باشد و V T) ( = ۲k که در آن ۱ k. در این صورت یک مجموعه متشکل از k مسیر مجزا-یال وجود دارد که راسهای پایانی آنها همهی راسهای T هستند. V T) ) وجود دارند که راسهای پایانی آنها اعضای T مسیر در k به وضوح هستند. فرض کنید } k P = {P ۱, P ۲,..., P مجموعهای از چنین مسیرهایی باشد به طوریکه مجموع طول آنها مینیمم است. ادعا میکنیم که مسیرهای P مجزا-یال هستند. فرض کنید این ادعا درست نباشد و دو مسیر P i و i j P j با یک یال مشترک وجود داشته باشند. بنابراین تفاضل متقارن P i P j برابر اجتماع دو مسیر مجزا مثلا Q ۱ و Q ۲ است که راسهای پایانی آنها زوج مجزا از راسهای متعلق به ) T) V است (شکل زیر را ببینید). اگر P i و P j را با Q i و Q j جایگزین کنیم آنگاه مجموعهی به دست آمده از یالها دارای این خاصیت است که راسهای پایانی آنها همهی راسهای T هستند و مجموع طول آنها از مجموع طول مسیرهای در P کمتر است. این متناقض با انتخاب P است.

تمرین مقادیر پارامترهای β α α و β را برای گرافهای زیر تعیین کنید..K n (١) (٢) گراف پترسن. (٣) گراف هرشل (شکل ۴.۵ را ببینید). شکل ۴.۵. گراف پترسن گراف هرشل α (K n ) = n n زوج ۲ n ۱ ۲ n فرد داریم = ۱ ) n α(k و ۱ n.β(k n ) = همچنین n n زوج β ۲ و (K n ) = n+۱ ۲ n فرد ١٢

١٣ (٢) ف رض ک ن ی د P گ راف پ ت رس ن ب اش د. ی ک م ج م وع هی م س ت ق ل راس ی م اک س ی م م از P ع ب ارت از {۸,۰},۲,۶ ب ن اب رای ن = ۴ ).α(p پ س = ۱۱ ) α(p.β(p ) = ۱۵ همچنین یک جورسازی کامل ماکسیمم از P عبارت اس ت از ۹}} {۴, ۸}, {۳, ۷}, {۲, ۶}, {۱, ۵}, {{۰, پ س = ۵ ) (P α و در ن ت ی ج ه.β (P ) = ۱۵ α (P ) = ۱۰ (٣) برای گراف هرشل داریم = ۶ β.α = تمرین به ازای هر گراف G با > ۰ δ ثابت کنید که β α و.α β این مطالب نتیجهای از گزارههای کلیتری زیر است: (١) نشان میدهیم که یک پوشش یالی مینیمال پوشش یالی مینیمم است اگر و تنها اگر شامل یک جورسازی ماکسیمم باشد. فرض کنید L یک پوشش یالی مینیمم باشد. چون L مینیمال است پس شامل مجموعهای از ستارهها است. چون (G) L = β (G) = n α پس تعداد ستارهها دقیقا برابر (G) α است. این یعنی جورسازی به دست آمده از یک یال از هر ستاره دارای اندازهی (G) α است یعنی جورسازی ماکسیمم است. برعکس فرض کنید L یک پوشش یالی مینیمال باشد و شامل یک جورسازی ماکسیمم باشد. این حقیقت که L مینیمال است نتیجه میدهد که L مجموعهای از ستارهها است. بنابراین L دارای دقیقا (G) α ستاره است یعنی (G) L = n α (G) = β پس L پوشش یالی مینیمم است. (٢) اکنون نشان میدهیم که یک جورسازی ماکسیمال جورسازی ماکسیمم است اگر و تنها اگر شامل یک پوشش یالی مینیمم باشد. فرض کنید M یک جورسازی ماکسیمم باشد. فرض کنید L پوشش یالی به دست آمده با در نظر گیری یک یال دلخواه مجاور به ازای هر راس V (G) M به همراه M باشد. به وضوح (G) L = α (G) + n ۲α (G) = β از اینرو L پوشش یالی مینیمم شامل M است. برعکس فرض کنید M یک جورسازی ماکسیمال دلخواه باشد که توسط پوشش یالی

١۴ مینیمم L حاصل شده است. یالهای M باید از ستلرههای مختلف L بیایند. علاوه بر آن ماکسیمال بودن M نتیجه میدهد که هر ستاره ی L حداقل یک در یال از M مشارکت میکند پس (G). M = n β (G) = α تمرین مثالی از یک گراف مکعبی بزنید که ۱ -عامل نداشته باشد. شکل زیر را ببینید تمرین نشان دهید که K n,n و K ۲n گرافهای ۱ -تجزیهپذیر هستند. راسهای گراف K ۲n را با ۲ ۱... ۲n نشان میدهیم. یک چندضلعی منتظم با ۱ ۲n راس و برچسب راسهای ۳ ۲... ۲n در جهت عقربههای ساعت میسازیم. فرض کنید فاصلهی بین دو راس متوالی در دور برابر یک واحد باشد. مرکز چندضلعی را متناظر راس ۱ در نظر میگیریم. یک ۱ -عامل M ۱ شامل یال بین ۱ و ۲ همرا با ۱ n یال دیگر را به صورت زیر میسازیم. تعداد ۱ n راس هستند که از ۲ در جهت عقربههای ساعت شروع میشوند و تعداد ۱ n راس هستند که از ۲ در جهت عکس عقربههای ساعت شروع میشوند. به ازای هر i =,۱,۲..., n راس قرار گرفته در i واحد از راس ۲ در جهت عقربههای ساعت و راس قرار گرفته در i واحد از راس ۲ در جهت عکس عقربههای ساعت را به هم وصل میکنیم. با این روش ۱ n یال به دست میآید. این ۱ n یال به همراه یال متصل کنندهی راس مرکزی ۱ و راس ۲ یک ۱ -عامل به دست میدهد.

١۵ سپس راسها با فاصلههای مساوی (در هر دو جهت) را از راس ۳ در نظر میگیریم. این کار منجر به ۱ n یال میشود که به همراه یال متصل کنندهی راس مرکزی ۱ و راس ۳ یک ۱ -عامل به دست میدهد. این روند را ادامه میدهیم. آخرین ۱ -عامل با استفاده از وصل راسها با فاصلههای مساوی (در هر دو جهت) را از راس ۲n به همراه یال متصل کنندهی راس مرکزی ۱ و راس ۲n است. این فرایند ۱ ۲n جورسازی کامل را به دست میدهد. چون هر ۱ -عامل دارای n یال است پس تعداد کل یالهای این ۱ ۲n جورسازی برابر (۱ n(۲n است و این عدد همان تعداد یالهای گراف کامل K ۲n است. از اینرو K ۲n گراف ۱ -تجزیه پذیر است. اکنون حکم دیگر را ثابت میکنیم. چون K n,n یک گراف n -منتظم دوبخشی است پس طبق قضیهی ٣.۵.۴ یک گراف ۱ -تجزیهپذیر است. به روش دیگری نشان میدهیم که هر گراف k -منتظم دوبخشی ۱ -تجزیهپذیر است. اثبات را به استقرا روی k انجام میدهیم. اگر = ۱ k آنگاه نتیجه واضح است. فرض کنید حکم برای ۱ k درست باشد که در آن ۲ k. فرض کنید G یک گراف k -منتظم دوبخشی باشد. طبق قضیهی هال ۱ -عامل F از G وجود دارد. گراف G = G F یک گراف دوبخشی منتظم با درجهی ۱ n است. بنابراین طبق فرض استقرا G گراف ۱ -تجزیهپذیر است. هر ۱ -تجزیه از G به همراه ۱ -عمل F یک ۱ -تجزیه از G را به دست میدهد. تمرین n! برابر است با K n,n (١). (۲n)! ۲ n n! (٢) ۲n K برابر است با نشان دهید که تعداد ۱ -عاملهای گراف (١) گراف K n,n را مجموعهها بخشی } n X = {x ۱,..., x و } n Y = {y ۱,..., y را در نظر بگیرید. یک جورسازی کامل از K n,n دقیقا یک تابع دوسویی از X به Y را تعیین میکند. برای جورکردن x ۱ با عضوی از Y تعداد n انتخاب داریم. برای جفت x ۲ تعداد ۱ n انتخاب از Y داریم... بنابراین!n جورسازی کامل وجود دارد. (٢) فرض کنید f n تعداد راههایی باشد که ۲n راس در K ۲n را بتوان جور کرد. تعداد ۱ ۲n انتخاب برای شریک راس ۱ ۲n و به ازای هر کدام از این انتخابها

١۶ تعداد ۱ n f راه برای کامل کردن جورسازی وجود دارد. بنابراین ۱ n f n = ۲n) f(۱ ۱.n چون = ۱ ۰ f به استقرا میتوان دید که ۱ ۳) ۱)(۲n.f n = (۲n توجه کنید که داریم f n = (۲n ۱)(۲n ۳) ۱ = [(۲n ۱)(۲n ۳) ۱] (۲n)! = ۲ n (n)(n ۱) ۱ = (۲n)! ۲ n n!. (۲n)(۲n ۲) ۲ (۲n)(۲n ۲) ۲ تمرین n -مکعب Q n گرافی است که راسهای آن n -تاییهای متشکل از صفر و یک هستند. دو راس Q n مجاور هستد اگر و تنها اگر فقط در یک مولفه با هم اختلاف داشته باشند. نشان دهید که n) (۲ Q n دارای یک جورسازی کامل است. ( ۳ -مکعب Q ۳ و ۴ -مکعب Q ۴ در شکل ۵.٧ نشان داده شدهاند.) شکل.٧.۵ گراف ۳ -مکعب ) ۳ (Q و ۴ -مکعب ) ۴ (Q

١٧ ب ه ازای ه ر ۱) n )-ت ای ی ) n ۱ (x ۱, x ۲,..., x ک ه در آن ۱} {۰, i x ی ال بین راسهای ۰) n ۱, (x ۱, x ۲,..., x و ۱) n ۱, (x ۱, x ۲,..., x را در نظر میگیریم. به وضوح هیچ دو یالی با هم مجاور نیستند زیرا ۱) n )-تاییهای ) n ۱ (x ۱, x ۲,..., x همگی متمایز هستند. تمرین نشان دهید که گراف پترسن ۱ -تجزیهپذیر نیست. (راهنمایی: به نوعهای مختلف ۱ -عاملهای گراف نگاه کنید.) گراف پترسن دارای ۶ جورسازی کامل است که در زیر مشخص شدهاند. چون گراف پترسن اجتماع مجزا-یال تعدادی از این جورسازیها نیست پس ۱ -تجزیهپذیر نیست. M ۱ : (۰, ۵), (۶, ۸), (۷, ۹), (۱, ۲), (۳, ۴) M ۲ : (۱, ۶), (۵, ۸), (۷, ۹), (۲, ۳), (۰, ۴) M ۳ : (۲, ۷), (۵, ۸), (۶, ۹), (۳, ۴), (۰, ۱) M ۴ : (۳, ۸), (۵, ۷), (۶, ۹), (۰, ۴), (۱, ۲) M ۵ : (۴, ۹), (۶, ۸), (۵, ۷), (۰, ۱), (۲, ۳) M ۶ : (۰, ۵), (۱, ۶), (۲, ۷), (۳, ۸), (۴, ۹) راه دیگر: راسهای ۳ ۲ ۱ ۰ و ۴ را راسهای خارجی و راسهای دیگر را راسهای داخلی نامگذاری میکنیم. اگر گراف پترسن ۱ -تجزیهپذیر نباشد آنگاه (چون دارای ۱۵

١٨ راس است) دارای سه تا جورسازی کامل است که هر کدام پنج یال دارند. بنابراین اگر هر مجموعهی F متشکل از پنج عضو گراف به تصادف انتخاب شوند آنگاه حداقل یکی از آنها باید جورسازی کامل باشد که شامل حداقل دو یال از F است. فرض کنید F مجموعهی پنج یالی باشد که یک راس خارجی را راس یکتای مجار آن وصل میکند. فرض کنید H جورسازی کامل باشد که شامل یال e واصل بین دو راس ۰ و ۵ و یال f واصل بین دو راس ۱ و ۶ باشد. اما اگر این چهار راس را از گراف پترسن حذف کنیم شش راس باقیمانده نمیتوانند در سه زوج جور شوند. تمرین نشان دهید که هر درخت حداکثر یک جورسازی کامل دارد. فرض کنید T یک درخت با دو جورسازی M ۱ و M ۲ باشد. تفاضل متقارن ) ۱ F = M ۱ M ۲ = (M ۱ M ۲ ) (M ۲ M در G را در ن ظ ر م یگ ی ری م. اگ ر M ۱ M ۲ آنگاه یالهای F اجتماعی از دورهای به طول زوج در T تشکیل میدهند. چون T دارای دور نیست پس.M ۱ = M ۲ تمرین نشان دهید که اگر یک گراف ۲ -یال همبند دارای یک ۱ -عامل باشد آنگاه دارای حداقل دو ۱ -عامل است. اثبات را به استقرا روی تعداد یالهای G انجام میدهیم. اگر G دارای ۴ یال باشد آنگاه حکم به وضوح برقرار است. فرض کنید که جکم برای همهی گرافهای با کمتر از k یال درست باشد و G را یک گراف ۲ -همبند با k یال و یک ۱ -عامل F باشد. اگر G دارای یک یال e باشد که درجهی هر پایان آن برابر ۲ باشد آنگاه میتوان فرض استقرا را برای G e به کاریرد. پس فرض کنید درجهی پایانهای هر یال از G حداقل ۳ باشد. از اینرو یک یال e = v ۱ v ۲ از G F وجود دارد که پایانهای آن از درجه ی حداقل ۳ هستند. فرض کنید.G = G E اگر G گراف ۲ -همبند باشد آنگاه چون F یک ۱ -عامل از G است (همچنانکه ۱ -عامل از G است) از فرض استقرا نتیجه میگیریم که G دارای حداقل دو تا ۱ -عامل است که ۱ -عاملهلی G نیز هستند.

١٩ اگر G گراف ۲ -همبند نباشد آنگاه یک راس برشی v از G وجود دارد و G v دقیقا دارای دو مولفه مانند G ۱ و G ۲ است که در آن ) ۱ v ۱ V (G و ) ۲ v ۲ V (G زیرا G گراف ۲ -همبند است. اگ ر F ش ام ل ی ال v ۱ v ب اش د آنگ اه G ۱ = G G ۲ ی ک گ راف ۲ -ه م ب ن د و دارای ۱ -عامل است پس طبق فرض استقرا دارای ۱ -عامل دیگری است. که اگر آنرا به همراه F G ۲ در نظر بگیریم ۱ -عامل جدیدی از G خواهیم داشت. به طریق مشابه اگر F شامل یال v ۲ v باشد آنگاه ۱ -عامل جدیدی از G به دست میآوریم. اکنو فرض کنید هیچکدام از دو حالت بالا برقرار نباشند. بدون کم شدن از کلیت میتوانیم فرض کنیم که F شامل یک یال است که یک پایان آن v و پایان دیگر آن در G ۱ است. فرض کنید H ۱ گراف به دست آمده از G ۱ = G G ۲ با افزودن یال v ۱ v (اگر از پیش چنین یالی در آن نباشد) باشد و فرض کنید H ۲ گراف به دست آمده از G ۲ = G G ۱ با افزودن یالهای v ۱ v ۲ و v ۱ v باشد. به وضوح H ۱ و H ۲ گرافهای ۲ -همبند هستند و F ۱ = H ۱ F یک ۱ -عامل از H ۱ است در حالیکه ) F F ۲ = {v ۱ v} (H ۲ یک i = ۱, ۲ H i از F ۱ -عامل از H ۲ است. از اینرو طبق فرض استقرا ۱ -عاملهای i وجود دارند. اگر ۱ F شامل یال v ۱ v نباشد آنگاه ۱ F (H ۲ F ) یک ۱ -عامل از G متمایز از F است. اگر اگر ۱ F شامل یال v ۱ v باشد آنگاه ۱ F (F ۲ {v ۱ v}) یک ۱ -عامل از G متمایز از F است. اگر هیچکدام از دو حالت بالا رخ ندهد آنگاه {v F) ۱ F (۲ v} ۱ یک ۱ -عامل از G و متمایز از F است. پس حکم ثابت است. تمرین نشان دهید که n ۲ Q n -۱ تجزیهپذیر است. n -مکعب Q n یک گراف n -منتظم دوبخشی است. بنابراین طبق اثبات قضیهی ٣.۵.۴ ۱ -تجزیهپذیر است. ی ک اث ب ات اس ت ق رای ی ب ه ص ورت زی ر اس ت. Q k ب ه ص ورت ح اص لض رب دک ارت ی Q ۱ k K ۲ تعریف میشود و دارای ۲ k راس است (در واقع Q k شامل دو زیرگراف

٢٠ یکریخت با ۱ k Q است و راسهای متناظر توسط یک یال به هم متصل هستند). راسها K ۲ را با ۰ و ۱ نشان میدهیم. به ازای هر راس u از ۱ k Q زوجهای مرتب (۰,u) و (۱,u) دو راس مجاور در Q k هستند زیرا ۰ و ۱ در K ۲ مجاورند. طبق تعریف زوجهای مرتب (i,u) و (i,c) مجاور هستند اگر و نتها اگر u و v در ۱ k Q مجاور باشند که در آن = ۰, ۱.i فرض کنید e = uv در یک جورسازی کامل M (با k ۱ ۲ یال) از k ۱ Q قرار داشته باشد. متناظر e دو یال جور شده در Q k وجود دارد: یال e ۱ که راسهای (۰,u) و (۰,v) را وصل میکند و یال e ۲ که راسهای (۱,u) و (۱,v) را وصل میکند. از اینرو هر یال جور شده در ۱ k Q متناظر دو یال در Q k است که راس مشترکی ندارند. بنابراین به ازای هر جورسازی کامل از ۱ k Q یک جورسازی کامل از Q k به دست میآوریم. اگر به ازای هر راس v از ۱ k Q یال متصل بین دو راس (۰,v) و (۱,v) را به عنوان یال جور شده در نظر بگیریم آنگاه یک جورسازی کامل بیش از Q k خواهیم داشت. تمرین نشان دهید که یک گراف k -منتظم (۱ k )-یال همبند با مرتبهی زوج دارای ۱ -عامل است. (این نتیجه از بابلر نتیجهی پترسن را تعمیم میدهد (نتیجهی ۴.۵.١١) و میتوان آنرا با تقلید از اثبات آن نشان داد.) S همبند با مرتبهی زوج و k )-یال (۱ یک گراف k -منتظم G فرض کنید که یک زیرمجموعهی دلخواه از V باشد. فرض کنید O r... O ۲ O ۱ مولفههای فرد G S باشند. فرض کنید مرتبهی O i برابر n i و اندازهی آن برابر m i باشد و k i یال O i را به S وصل کند. در این صورت ۱ k k i و d(v) = kn i = ۲m i + k i ( ) و ( ) v V (O i ) r d(v) = k S k i + ۲ E(S). v S i=۱ اکنون ( ) نتیجه میدهد که.k i = kn i ۲m i بنابراین اگر k زوج باشد آنگاه k i نیز زوج است و در نتیجه ۱ k k i > نتیجه میدهد که. k i k به طریق مشابه اگر k فرد باشد آنگاه k i نیز فرد است و مجددا ۱ k k i > نتیجه میدهد که. k i k با

٢١ جمع کردن اینها بر روی r مولفهی فرد و با استفاده از ( ) خواهیم داشت rk r i = ۱ r k i k i + ۲ E(S) k S. i=۱ بنابراین S O(G (S = r و طبق قضیهی توته G دارای ۱ -عامل است. تمرین اگر G گراف k -همبند با مرتبهی زوج که ۱+k,۱ K را به عنوان زیرگراف القایی نداشته باشد آنگاه نشان دهید G دارای ۱ -عامل است. فرض کنید G دارای ۱ -عامل نباشد. در این صورت G دارای یک پادعامل مینیمم مانند S است. فرض کنید S = s و کنید O r... O ۲ O ۱ مولفههای فرد G S باشند. قرار میدهیم S i = {v S مجاور باشد O i با یک راس از v}. در این صورت i S یک برش راسی از است و در نتیجه S. i k از اینرو حداقل k یال از O i وجود دارند که با k راس متمایز از S مجاور هستند. تعداد چنین یالهایی وقتی i از ۱ تا r تغییر میکند حداقل برابر rk است و این مقدار طبق مشاهدهی ١٣.۵.۴ بزرگتر یا مساوی (۲ + k(s است. از اینرو حداقل یک راس v از S وجود دارد که با حداقل + ۱ k یال از این یالها مجاور است. اما در این صورت v مرکز یک زیرگراف القایی به صورت ۱+k,۱ K است و این یک تناقض است. تمرین نشان دهید که اگر G گراف همبند با مرتبهی زوج باشد آنگاه G ۲ دارای ۱ -عامل است. نشان میدهیم G ۲ پنجه آزاد است یعنی زیرگراف یکریخت با K ۱,۳ ندارد. پس از اینکار از قضیهی ١۶.۵.۴ نتیجه میشود که G ۲ دارای ۱ -عامل است. اما این مطلب واضح است زیرا طبق تمرین ۵.٧ از صفحهی ٣۴ هر یال از G ۲ به یک مثلث تعلق دارد. G به استقرا روی تعداد راسهای حکم را ثابت میکنیم. اگر = ۲ n حکم برقرار است. اکنون فرض کنید حکم برای گرافهای با مرتبهی زوج کمتر از مرتبهی G برقرار باشد. چون G همبند است طبق یکی از تمرینها دو راس مجاور x و y وجود دارند که {y H = G,x} همبند است.

٢٢ بنابراین ۲ (y d(x, و x و y در G ۲ مجاور هستند. چون H گراف همبند با مرتبهی زوج است پس طبق فرض استقرا G ۲ دارای ۱ -عامل است که به همراه یال xy G ۲ به یک ۱ -عامل از G ۲ خواهیم رسید.